Словарь по логике - антецедент и консеквент

два высказывания, из которых с помощью логической операции импликации ("если..., то ...") образуется сложное импликативное высказывание. А. высказывание, которому предпослано слово "если", К. высказывание, идущее после слова "то". Два высказывания, составляющие условное высказывание,  именуются также основанием и следствием.